Merge pull request #62 from michaelnmmeyer/master
authorSteven G. Johnson <stevenj@mit.edu>
Wed, 9 Dec 2015 23:59:05 +0000 (18:59 -0500)
committerSteven G. Johnson <stevenj@mit.edu>
Wed, 9 Dec 2015 23:59:05 +0000 (18:59 -0500)
Reduce the size of the binary.


Trivial merge